首页> 外文OA文献 >Improving Search-based Test Suite Generation with Dynamic Symbolic Execution

【2h】

Improving Search-based Test Suite Generation with Dynamic Symbolic Execution

机译：使用动态符号执行改进基于搜索的测试套件生成

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Juan Pablo Galeotti; Gordon Fraser; Andrea Arcuri;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing [J] . Mike Papadakis, Nicos Malevris Software Quality Journal . 2011,第4期

机译：借助符号执行，概要测试和基于搜索的测试自动执行弱突变
2. Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution [J] . Weigang He, Jianqi Shi, Ting Su, Science of Computer Programming . 2021,第Juna1期

机译：通过动态符号执行，IEC 61131-3 ST程序自动测试生成
3. State of the art: Dynamic symbolic execution for automated test generation [J] . Ting Chen, Xiao-songZhang, Shi-ze Guo, Future generation computer systems . 2013,第7期

机译：最新技术：用于自动测试生成的动态符号执行
4. Improving search-based test suite generation with dynamic symbolic execution [C] . Galeotti Juan Pablo, Fraser Gordon, Arcuri Andrea IEEE International Symposium on Software Reliability Engineering . 2013

机译：通过动态符号执行来改进基于搜索的测试套件的生成
5. An empirical study of test suites in practice against test suites generated by dynamic symbolic execution. [D] . Tanofsky, Philip. 2014

机译：对测试套件在实践中针对由动态符号执行生成的测试套件的实证研究。
6. Barostat or Dynamic Balloon Distention Test: Which Technique is Best Suited for Esophageal Sensory Testing? [O] . Jose M. Remes-Troche, Ashok Attaluri, Premjit Chahal, -1

机译：恒压器或动态球囊扩张测试：哪种技术最适合食道感觉测试？
7. Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution [O] . Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri 2015

机译：使用自适应动态符号执行扩展基于搜索的测试生成器

Improving Search-based Test Suite Generation with Dynamic Symbolic Execution

著录项

引文网络

相似文献

相关主题

期刊订阅